Proper Forcings and Absoluteness in L(r)
نویسندگان
چکیده
We show that in the presence of large cardinals proper forcings do not change the theory of L(R) with real and ordinal parameters and do not code any set of ordinals into the reals unless that set has already been so coded in the ground model.
منابع مشابه
8 S ep 1 99 9 L ( R ) absoluteness under proper forcings
We isolate a new large cardinal concept, ”remarkability.” It turns out that the existence of a remarkable cardinal is equiconsistent with L(R) absoluteness under proper forcings. As remarkable cardinals are compatible with V = L, this means that said absoluteness does not imply Π1 determinacy.
متن کاملSemi-proper forcing, remarkable cardinals, and Bounded Martin's Maximum
We show that L(R) absoluteness for semi-proper forcings is equiconsistent with the existence of a remarkable cardinal, and hence by [6] with L(R) absoluteness for proper forcings. By [7], L(R) absoluteness for stationary set preserving forcings gives an inner model with a strong cardinal. By [3], the Bounded Semi-Proper Forcing Axiom (BSPFA) is equiconsistent with the Bounded Proper Forcing Axi...
متن کاملProper Forcing and Remarkable Cardinals II
The current paper proves the results announced in [6]. We isolate a new large cardinal concept, “remarkability.” Consistencywise, remarkable cardinals are between ineffable and ω-Erdös cardinals. They are characterized by the existence of “0-like” embeddings; however, they relativize down to L. It turns out that the existence of a remarkable cardinal is equiconsistent with L(R) absoluteness for...
متن کاملProper forcing extensions and Solovay models
We study the preservation of the property of L(R) being a Solovay model under proper projective forcing extensions. We show that every ∼ 1 3 strongly-proper forcing notion preserves this property. This yields that the consistency strength of the absoluteness of L(R) under ∼ 1 3 strongly-proper forcing notions is that of the existence of an inaccessible cardinal. Further, the absoluteness of L(R...
متن کاملΣ3-Absoluteness in Forcing Extensions
We investigate the consistency strength of the forcing axiom for Σ3 formulas, for various classes of forcings. We review that the consistency strength of Σ3-absoluteness for all set forcing or even just for ω1-preserving forcing is that of a reflecting cardinal. To get the same strength from the forcing axiom restricted to proper forcing, one can add the hypotheses that ω1 is inaccessible to re...
متن کامل